How to Combine the Benefits of Strict and Soft Typing

نویسندگان

  • Manfred Widera
  • Christoph Beierle
چکیده

We discuss the properties of strictly typed languages on the one hand and soft typing on the other one and identify disadvantages of these approaches to type checking in the context of powerful type languages. To overcome the problems we develop an approach that combines ideas of both strict and soft typing. This approach is based on the concept of complete typing that is guaranteed to accept every well-typed program. The main component of a complete type checker is defined.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Combining Strict and Soft Typing in Functional Programming

We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of powerful type languages. To overcome the problems we develop an approach that combines ideas of strict and soft typing. This approach is based on the concept of complete typing that is guaranteed to accept every well...

متن کامل

Introduction and discussion about three types of fine grain products and their harvesters

Fine grain products are harvested in two manual and mechanized forms. Nowadays, common combine harvesters are used, but fine grain products such as Rapeseed, Sesame and Sorghum cannot be harvested with conventional heads of combine harvesters due to the excessive grain loss in the head of the combine. Therefore, the necessity of design and fabricating machines and heads of combine harvesters be...

متن کامل

Fabrication of Soft Magnetic Fe-based Nanoalloy

The Fe-Ni-Sb-B amorphous alloy has been prepared by a solid-solid chemical reaction of ferric trichloride, nickel chloride, antimony chloride and potassium borohydride powders at room temperature. The inductive couple plasma study indicates that the resultant is composed of Fe 5.38 %, Ni 56.19 %, Sb 29.02 % and B 0.44 %. The XRD and thermal analysis show that the alloy is a non-strict sense amo...

متن کامل

Introduction and discussion about three types of fine grain products and their harvesters

Fine grain products are harvested in two manual and mechanized forms. Nowadays, common combine harvesters are used, but fine grain products such as Rapeseed, Sesame and Sorghum cannot be harvested with conventional heads of combine harvesters due to the excessive grain loss in the head of the combine. Therefore, the necessity of design and fabricating machines and heads of combine harvesters be...

متن کامل

Gradual Typing for Functional Languages

Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming tasks. There have been many efforts to integrate static and dynamic typing and thereby combine the benefits of both typing disciplines in the same language. The flexibility of static typing can be improved by adding a type Dynamic and a typecase form. The safety and perf...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999